Programming language semantics - PDFSEARCH.IO - Document Search Engine

Programming language semantics
Results: 372

#	Item
251	A program logic for resources and its application to optimisation validation Alberto Momigliano Laboratory for Foundations of Computer Science University of Edinburgh In collaboration with: Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2005-12-05 13:08:28 Data types Functional languages Procedural programming languages Lisp programming language Functional programming List Cons ALGOL 68 Operational semantics Software engineering Computing Computer programming
252	Snapshot generation in a constructive object-oriented modeling language Mauro Ferrari1 , Camillo Fiorentini2 , Alberto Momigliano2 and Mario Ornaghi2 1 Dipartimento di Informatica e Comunicazione, Universit`a degli Stud Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2007-03-29 06:17:11 Logic programming Actor model Futures and promises Inter-process communication Stable model semantics Interpretation FO Economic model Witness Logic Mathematical logic Theoretical computer science
253	2nd Wkshp. on Determinism & Correctness in Parallel Programming (WoDet), Newport Beach, CA, Mar[removed]Toward a Formal Semantic Framework for Deterministic Parallel Programming ∗ Michael L. Scott Add to Reading List Source URL: www.cs.rochester.edu Language: English - Date: 2011-04-01 17:50:55 Logic in computer science Programming language semantics Models of computation Causality Determinism Philosophy of science Operational semantics NP Parallel computing Theoretical computer science Applied mathematics Programming language theory
254	Modular Protections against Non-control Data Attacks Cole Schlesinger† Karthik Pattabiraman‡ † Princeton University {cschlesi,dpw}@cs.princeton.edu Add to Reading List Source URL: www.cs.princeton.edu Language: English - Date: 2011-11-02 12:05:10 Data types Procedural programming languages Type theory Programming language semantics C++ Denotational semantics Type system Pointer C++ classes Software engineering Programming language theory Computing
255	Automatic Certification of Resource Consumption Alberto Momigliano Laboratory for Foundations of Computer Science University of Edinburgh In collaboration with: see credits at the end of the talk Work carried out in the Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2005-04-12 12:26:21 Data types Lisp programming language Functional programming Logic in computer science Procedural programming languages List Cons Operational semantics Semantics Software engineering Computing Programming language theory
256	From Bytecode Logic to Certificate Generation for Grail Alberto Momigliano Laboratory for Foundations of Computer Science University of Edinburgh Joint work with D. Aspinall, L. Beringer, H-W. Loidl, Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2004-05-26 09:57:10 Software engineering Computing Programming language semantics Operational semantics Functional programming Free variables and bound variables Logic programming Programming paradigms Theoretical computer science Logic in computer science
257	Snapshot generation in a constructive object-oriented modeling language Mauro Ferrari1 , Camillo Fiorentini2 , Alberto Momigliano2 and Mario Ornaghi2 1 Dipartimento di Informatica e Comunicazione, Universit`a degli Stud Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2007-03-16 14:24:52 Logic programming Actor model Futures and promises Inter-process communication Stable model semantics Interpretation FO Economic model Witness Logic Mathematical logic Theoretical computer science
258	COCV[removed]Optimisation Validation David Aspinall 1 LFCS, School of Informatics, University of Edinburgh, U.K. Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2006-02-13 11:03:23 Programming language theory Philosophical logic Procedural programming languages Boolean algebra ALGOL 68 Quantification Negation Logic Semantics Mathematical logic
259	Effective Extraction of Thematically Grouped Key Terms From Text Maria Grineva Maxim Grinev and Dmitry Lizorkin Institute for System Programming of Russian Academy of Sciences 25 A. Solzhenitsyna Moscow, Russia[removed] Add to Reading List Source URL: mint.typepad.com Language: English - Date: 2009-03-16 11:27:46 Natural language processing Knowledge representation Knowledge Semantics Semantic similarity Web 2.0 Word-sense disambiguation Wikipedia Information retrieval Computational linguistics Linguistics Science
260	Efficient Ranking and Computation of Semantic Relatedness and its Application to Word Sense Disambiguation Maxim Grinev, Dmitry Lizorkin, Denis Turdakov, Pavel Velikhov Institute for System Programming Russian Academy of Add to Reading List Source URL: modis.ispras.ru Language: English - Date: 2009-04-09 04:33:31 Linguistics Natural language processing Semantic similarity Word-sense disambiguation Wikipedia SemEval Heuristic SimRank Algorithm Computational linguistics Semantics Science

UPDATE